Active Experimentation and Computational Reflection for Design and Testing of Cyber-Physical Systems
نویسندگان
چکیده
Cyber-physical systems are being deployed in a wide variety of applications, creating a highly-capable infrastructure of networked “smart” systems that utilize coordinated computational and physical resources to perform complicated tasks either autonomously or in cooperation with humans. The design and testing of these systems using current methods, while time-consuming and costly, is not necessarily sufficient to guarantee appropriate and trustworthy behavior, especially under unanticipated operational conditions. Biological systems offer possible examples of strategies for autonomous self-improvement, of which we explore one: active experimentation. The combined use of active experimentation driven by internal processes in the system itself and computational reflection (examining and modifying behavior and structure during operation) is proposed as an approach for developing trustworthy and adaptable complex systems. Examples are provided of implementation of these approaches in our CARS testbed. The potential for applying these approaches to improve the performance and trustworthyness of mission-critical systems of systems is explored.
منابع مشابه
An Effective Attack-Resilient Kalman Filter-Based Approach for Dynamic State Estimation of Synchronous Machine
Kalman filtering has been widely considered for dynamic state estimation in smart grids. Despite its unique merits, the Kalman Filter (KF)-based dynamic state estimation can be undesirably influenced by cyber adversarial attacks that can potentially be launched against the communication links in the Cyber-Physical System (CPS). To enhance the security of KF-based state estimation, in this paper...
متن کاملA Methodology for Unified Assessment of Physical and Geographical Dependencies of Wide Area Measurement Systems in Smart Grids
Wide Area Measurement Systems (WAMS) enable real time monitoring and control of smart grids by combining digital measurement devices, communication and control systems. As WAMS consist of various infrastructures, they imply complex dependencies among their underlying systems and components of different types, such as cyber, physical and geographical dependencies. Although several works exist in...
متن کاملA TTCN-3 Modeling Tool for Automated Testing on Cyber-Physical Systems
Cyber-physical system is an integrated large-scale system that consists of computational and physical systems. Developing cyber-physical systems incur significant complexities in both computational and physical elements to provide reliable, available, and robust systems. Since computational systems control physical systems via networks, system developers are increasingly facing challenges to en...
متن کاملAccessible Remote Testbed for Cyber-Physical Systems Security of the Smart Grid
With growing concerns for cyber security of critical infrastructures like the power grid, Cyber-Physical Systems (CPS) security testbeds are essential in providing controlled testing environments for evaluating and validating novel CPS security tools and technologies, thereby accelerating the transition of research to industrial practice. The engineering of such testbeds requires significant in...
متن کاملAnalysis and Design of Cyber-Physical Systems: A Hybrid Control Systems Approach
Cyber-physical systems combine digital and analog devices, interfaces, networks, computer systems, and the like with the natural and man-made physical world. The inherent interconnected and heterogeneous combination of behaviors in these systems makes their analysis and design a challenging task. Safety and reliability specifications imposed in cyber-physical applications, which are typically t...
متن کامل